1. Category theory and computer science
پدیدآورنده : D.H. Pitt, A. Poigne, D.E. Rydeheard )eds.(
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Electronic digital computers - Programming - Congresses,Categories )Mathematics( - Congresses
رده :
QA
.
C388
76
.
6
1987
2. Category theory and computer science : Edinburgh, U.K., September 7-9, 1987 : proceedings
پدیدآورنده : D.H. Pitt, A. Poigne, D.E. Rydeheard )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer programming,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L28
Vol
.
283
3. Category theory and computer science : 6th International Conference, CTCS 95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings
پدیدآورنده : David Pitt, David E. Rydeheard, Peter Johnstone, eds
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Electronic digital computers - Programming - Congresses , Categories )Mathematics( - Congresses
رده :
QA
76
.
6
.
B53
1995
4. Computational category theory
پدیدآورنده : Rydeheard, David E.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Data processing ، Categories )Mathematics(,Programming ، Electronic digital computers
رده :
QA
169
.
R93
1988
5. Computational category theory /
پدیدآورنده : D.E. Rydeheard, R.M. Burstall
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Categories (Mathematics)-- Data processing,Computer programming
رده :
QA169
.
R93
1988
